homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
An algebraic quasi-category is a quasi-category equipped with a choice of (inner) horn fillers.
Algebraic quasi-categories give a algebraic definition of (∞,1)-categories.
For more see the section Algebraic fibrant models for higher categories at model structure on algebraic fibrant objects.
Last revised on October 29, 2015 at 18:05:22. See the history of this page for a list of all contributions to it.